1. Automated theorem proving in software engineering
پدیدآورنده: Johann M. Schumann ; foreword by Donald Loveland,Title
کتابخانه: دانشگاه علم و فناوری مازندران (مازندران)
موضوع: Software engineering,Automatic theorem proving
رده :
QA
.
S38
76
.
758
2001

